linear algebra proof